Several context-specific social and political factors in Eastern and Central Europe are described — factors that must be considered while developing strategies to introduce Computer Ethics. Poland is used as a primary example. GNP per capita, the cost of hardware and software, uneven and scant distribution of computing resources, and attitudes toward work and authority are discussed. Such “geographical factors” must be taken into account as the new field of Computer Ethics develops.

Several context-specific social and political factors in Eastern and Central Europe are described — factors that must be considered while developing strategies to introduce Computer Ethics. Poland is used as a primary example. GNP per capita, the cost of hardware and software, uneven and scant distribution of computing resources, and attitudes toward work and authority are discussed. Such “geographical factors” must be taken into account as the new field of Computer Ethics develops.

Laudacja wygłoszona przez ks. dr. hab. Jana Krokosa, prof. UKSW 27 kwietnia 2016 roku na dorocznym publicznym zebraniu Towarzystwa Naukowego KUL z okazji wręczenia prob. dr. hab. Andrzejowi Półtawskiemu Nagrody im. Księdzia Idziego Radziszewskiego" --Wykład wygłoszony przez prof. dr. hab. Andrzeja Półtawskiego UKSW 27 kwietnia 2016 roku na dorocznym publicznym zebraniu Towarzystwa Naukowego KUL z okazji zebraniu Nagrody im. Księdzia Idziego Radziszewskiego" -- Bibliografia prof. dr. hab. Andrzeja Półtawskiego laureata Nagrody im. Księdza Idziego Radziszewskiego.

The famous theory of undecidable sentences created by Kurt Godel in 1931 is presented as clearly and as rigorously as possible. Introductory explanations beginning with the necessary facts of arithmetic of integers and progressing to the theory of representability of arithmetical functions and relations in the system (S) prepare the reader for the systematic exposition of the theory of Godel which is taken up in the final chapter and the appendix.

The objective of the paper is a presentation and an interpretation of Władysław Stróżewski’s views on aesthetics. Built upon the foundation provided by classical metaphysics, Stróżewski’s aesthetics is simultaneously a continuation of the tradition of phenomenological interpretation of art. Stróżewski extends Roman Ingarden’s aesthetic theory by including the idea of numinous concretion, largely inspired by the works of Rudolf Otto. As a result, this new phenomenological perspective transcends the narrowly understood ‘aesthetics’ of the work of art towards the inherent dimension (...) of the sacred. Moreover, Stróżewski’s scrutiny of the aspect of art that goes beyond the aesthetic reveals an important relationship obtaining between his insights and the theological aesthetics of Hans Urs von Balthasar. Thus Stróżewski’s ideas turn out to be of significance to contemporary aesthetic and theological debates. In particular, he shows the movement of beauty from aesthetic to transcendental, and ultimately towards the sacred, where numinosum is manifested as Mystery. (shrink)

There are many religions in the human world, and people manifest their religiousness in many different ways. The main problem this paper addresses concerns the possibility of sorting out this complex world of human religiousness by showing that it can be phenomenologically reduced to a few very basic existential attitudes. These attitudes express the main types of ways in which a human being relates to his or herself and the world, independently of the worldview or religion professed by the individual. (...) I use Kierkegaard’s theories of the stages of existence and subjective truth as a model. The theory of the stages of existence provides five basic existential attitudes on the basis of which religious attitudes can develop: spiritlessness, the aesthetic, the ethical, religiousness A, and religiousness B. The theory of subjective truth shows how the concept of truth functions in an ethical and existential sense as the personal truth of an individual engaged in building their religious identity. In turn, I discuss the problem of the relation of Kierkegaard’s philosophy to phenomenology, briefly introduce his concept of subjective truth and the stages of existence, and show how existential attitudes can be transformed into religious ones. I also consider the problem of the demonic as the inverted order of this anthropological and existential model. Finally, I argue that the model developed herein may be useful for further research into the phenomenology of religious attitudes. (shrink)

In the paper, pre-Hilbert algebras are defined as a generalization of Hilbert algebras (namely, a Hilbert algebra is just a pre-Hilbert algebra satisfying the property of antisymmetry). Pre-Hilbert algebras have been inspired by Henkin's Positive Implicative Logic. Their properties and characterizations are investigated. Some important results and examples are given. Moreover, positive implicative pre-Hilbert algebras are introduced and studied, their connections with some algebras of logic are presented. The hierarchies existing between the classes of algebras considered here are shown.

In pre-revolutionary Russia, law was criticized from many points of view: in the name of Christ or the name of Marx, in defense of anarchism or of an idealized autocracy, on behalf of the "Russian soul" or of universal progress towards socialism. Examining the rich tradition of hostility to law, Walicki presents those Russian thinkers who boldly challenged this legacy of anti-legal prejudice by developing liberal philosophies of law, vindicating the value of human rights and rule of law. He discusses (...) six leading theorists--Boris Chicherin, Vladimir Soloviev, Leon Petrazycki, Pavel Novgorodtsev, Bogdan Kistiakovsky, and Sergius Hessen--all of whom viewed law in the context of wider philosophical and social problems. (shrink)

In the article I consider Hume's arguments against miracles and the notion of miracle. From Hume's perspective, miracles are violations of the laws of nature caused by the supernatural being or beings. In Part I of On Miracles Hume argues that miracles can never be believed by a rational person. In Part II he attempts to demonstrate that there is actually no evidence for a miracle. Using distinction between laws of nature and scientific laws, and the deductive-nomological model of explanation, (...) I come to some conclusions. (shrink)

The paper consists of two parts, outlined in the title.I. In the historical science time appears as an element of the historian’s workshop. The historian collects source information, evaluates them and assigns respective dates. Only on the ground of thus “processed” sources may he reproduce the past: events and longer development processes, setting them in time. This dated time is understood colloquially as something objective, which runs one way and may be measured.II. A historian who studies the past reality depends (...) on the extent to which those sources are preserved. As a result of their interpretation, with the use of increasingly excellent research methods, he reproduces that reality. He must carry out an ongoing selection of historical facts found. This exposes him to temptations of such selection of those facts so as to adjust the historical knowledge to serve well the national interests, his own political opinions, etc. In this way the historian exerts influence on social awareness, which may consists of various myths and stereotypes, which sometimes lead to negative social behaviors: aggression, chauvinism, etc. Therefore, for researcher honesty’s sake and in the sense of moral responsibility, he must be careful to be as impartial as possible in his work. (shrink)

Generational differences in societies are characteristics generally attributed to people’s age that constitute a sociocultural phenomenon. Divisions in the generations differ across nations and extend even to civilizations. Perception and recognition of the different characteristics of each generation affect the cooperation between people in social, political, and economic capacities, and subsequently extend to entities in the public, informal, commercial, and nongovernmental sectors. From the perspective of social justice, it is important to draw attention to how workplace management techniques are used (...) to promote equal opportunities among representatives of various generations. (shrink)

We classify two of Bertrand Russell's theories of events within the point-free ontology. The first of such approaches was presented informally by Russell in ‘The World of Physics and the World of Sense’ (Lecture IV in Our Knowledge of the External World of 1914). Based on this theory, Russell sketched ways to construct instants as collections of events. This paper formalizes Russell's approach from 1914. We will also show that in such a reconstructed theory, we obtain all axioms of Russell's (...) second theory from 1936 and all axioms of Thomason's theory of events from 1989. Russell's work certainly influenced the works of Stanisław Leśniewski, his student Alfred Tarski, and Czesław Lejewski – prominent members of the Lvov-Warsaw School (LWS). We see our work in the tradition of the research of Leśniewski and Tarski. Building on the technical tools developed in this environment and in the spirit of the traditional research of the LWS, we engage here, in particular, with two classic works by Russell on fundamental ontology. (shrink)

“Age of life” is one of the essential characteristics that differentiate people. Age perception is also associated with social justice. The concept of age is defined ambiguously. At the same time, the different age criteria also forms the basis of age differentiation and age discrimination. The population lead to distinctions of age groups, age categories, and generations. Differences between generations also lead to Study in the concepts of intergenerationality, intergenerational justice, and intergenerational policies.

The problem of precise characterisation of traditional forms of reasoning applied in mathematics was independently investigated and successfully resolved by Jaśkowski and Gentzen in 1934. However, there are traces of earlier interests in this field exhibited by the members of the Lvov-Warsaw School. We focus on the results obtained by Jaśkowski and Leśniewski. Jaśkowski provided the first formal system of natural deduction in 1926. Leśniewski also demonstrated in some of his papers how to construct proofs in accordance with intuitively correct (...) principles. (shrink)

Analytic study of the Advaita philosophy of Śaṅkarācārya and its schools.

Services for single parents constitute a category of child and family services. These services are carried out by public and non-governmental bodies for people who are single parents by the unfortunate events or by their own choice. Individuals come to single parenthood mainly through divorce, separation, birth outside of marriage, child abuse/neglect, death of a partner/widowhood, and adoption.

Dowód pierwszej tezy Gorgiasza jest dedukcyjnym wnioskowaniem nie wprost, skon-struowanym przez wielokrotne użycie schematu modus tollens. Te z jego przesłanek, które przyjęte są bez dowodów, są łudząco podobne do niektórych prawd logicznych lub analitycznych. Gdyby rzeczywiście nimi były, w dowodzie musiałyby pojawić się sprzeczności. W czasach Gorgiasza dowód mógł uchodzić za poprawny; możliwość jasnego wskazania i opisania jego defektów poja-wiła się dopiero z wynalezieniem logiki formalnej. Gorgiasz mógł ogłosić swą tezę serio –jako tezę skrajnego nihilizmu metafizycznego –nie obawiając się kompromitacji. (...) Jeżeli dowód jest sofizma-tem, to wśród sofizmatów jest arcydziełem, najwybitniejszym osiągnięciem sofistów w tej dziedzi-nie. (shrink)

In this paper, we want to present the genesis of Stanisław Leśniewski’s mereology. Although ‘mereology’ comes from theword ‘part’, mereology arose as a theory of collective classes. That is why we present the differences between the concepts of being a distributive class and being a collective class. Next, we present Leśniewski’s original mereology from 1927, but with a modern approach. Leśniewski was inspired to create his concept of classes and their elements by Russell’s antinomy. To face it, Leśniewski had to (...) define the concept of being an element of based on the concept of being part of. Leśniewski showed that in his theory, there is no equivalent to Russell’s antinomy. We will show that his solution has nothing to do with the original approach because, in both cases, we are talking about objects of a different kind. Russell’s original antinomy concerned distributive classes, and Leśsniewski’s considerations concerned collective classes. (shrink)